An integral domain is a commutative ring with unity 
and no zero divisors.

Thus, in an integral domain,
<var>ab = 0 </var> 
if and only if 
<var>a = 0</var> or <var>b = 0</var>.